1. Languages and Compilers for Parallel Computing : 12th International Workshop, LCPC'99, LaJolla, CA, USA, August 4-6, 1999 : proceedings
پدیدآورنده : Larry Carter, Jeanne Ferrante )Eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Parallel processing )Electronic computers(,Congresses ، Programming languages )Electronic computers(,Congresses ، Compilers )Computer programs(
رده :
QA
76
.
L28
Vol
.
1863
2. Portability and performance for parallel processing
پدیدآورنده : edited by: Tiny Hey, Jeanne Ferrante
کتابخانه: (سمنان)
موضوع : ، Parallel processing )electronic computers(
رده :
QA
76
.
58
.
P67
3. Portability and performance for parallel processing
پدیدآورنده : edited by Tony Hey and Jeanne Ferrante
کتابخانه: (طهران)
موضوع : Parallel processing )Electronic computers(
رده :
QA
76
.
58
.
P67
1993
4. Portability and performance for parallel processing
پدیدآورنده : edited by Tony Hey and Jeanne Ferrante
موضوع : Parallel processing (Electronic computers)
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
5. <The> computational complexity of logical theories
پدیدآورنده : / [by] Jeanne Ferrante and Charles W. Rackoff
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه علامه طباطبایی (طهران)
موضوع :
رده :
QA3
،.
L28
,
F47
6. The computational complexity of logical theories
پدیدآورنده : Ferrante, Jeanne
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Predicate calculus,، Computational complexity
رده :
QA
3
.
L28
no
.
718
7. The computational complexity of logical theories
پدیدآورنده : Ferrante, Jeanne
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Predicate calculus,، Computational complexity
رده :
QA
3
.
L28
no
.
718
8. The computational complexity of logical theories
پدیدآورنده : Ferrante, Jeanne
کتابخانه: (طهران)
موضوع : ، Predicate calculus,، Computational complexity
رده :
QA
9
.
35
.
F4
1979
9. The computational complexity of logical theories
پدیدآورنده : Ferrante, Jeanne
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : ، Predicate calculus,، Computational complexity
رده :
QA
1
.
L4
v
.
718
10. The computational complexity of logical theories
پدیدآورنده : Ferrante, Jeanne, 9491-
کتابخانه: (طهران)
موضوع : ، Predicate calculus,، Computational complexity
رده :
QA
3
.
L28
Vol
.
718
